A Top-Down Approach to Modeling Global Behaviors of Web Services
نویسندگان
چکیده
Due to the distributed nature of modern composite web services, designers are facing new challenges in both requirement specification as well as logic validation. This paper proposes a top-down design/verification strategy that helps construct composite web services to meet preset system goals. The key to this approach is to specify desired global behaviors with a “conversation protocol” and verify preset system goals on the global protocol. Then peer implementations are synthesized from the conversation protocol. Three realizability conditions are provided to guarantee that the composition of synthesized peers will satisfy the previously verified system goals.
منابع مشابه
SOA approach for integration of departmental systems
In this paper a unified method for integration of departmental systems into the main systems of a healthcare organization is described. The approach is based on combining Business Process Modeling (BPM) and Service Oriented Architecture (SOA) methods and technologies. A top-down approach is used for modeling the care process and supporting care services which in turn are decomposed down to such...
متن کاملService Choreography and Orchestration with Conversations
Service oriented computing provides technologies that enable multiple organizations to integrate their businesses over the Internet. Typical execution behavior in this type of distributed systems involves a set of autonomous peers interacting with each other through messages. Modeling and analysis of interactions among the peers is a crucial problem in this domain due to following reasons: 1) O...
متن کاملConversation Protocols: A Formalism for Specification and Verification of Reactive Electronic Services
This paper focuses on the realizability problem of a framework for modeling and specifying the global behaviors of reactive electronic services (e-services). In this framework, Web accessible programs (peers) communicate by asynchronous message passing, and a virtual global watcher silently listens to the network. The global behavior is characterized by a “conversation”, which is the infinite s...
متن کاملAutomatic QoS-aware Web Services Composition based on Set-Cover Problem
By definition, web-services composition works on developing merely optimum coordination among a number of available web-services to provide a new composed web-service intended to satisfy some users requirements for which a single web service is not (good) enough. In this article, the formulation of the automatic web-services composition is proposed as several set-cover problems and an approxima...
متن کاملAdapting BPEL4WS for the Semantic Web: The Bottom-Up Approach to Web Service Interoperation
Towards the ultimate goal of seamless interaction among networked programs and devices, industry has developed orchestration and process modeling languages such as XLANG, WSFL, and recently BPEL4WS. Unfortunately, these efforts leave us a long way from seamless interoperation. Researchers in the Semantic Web community have taken up this challenge proposing top-down approaches to achieve aspects...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2003